# -*- mode: snippet -*-
# name: Set Proof Using Clear Unused
# --
Set Proof Using Clear Unused
